Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
731	CG2E GT2 sg2 paper, safety levels, ERTS2 2012 Add to Reading List Source URL: www.erts2014.org Language: English - Date: 2014-01-10 03:51:12 Technology Software Safety Avionics Software requirements Formal verification Verification Software verification DO-178B Software development Formal methods Software testing
732	FOCUS: Safety-Critical Software Testing or Formal Verification: DO-178C Alternatives and Industrial Experience Add to Reading List Source URL: www.open-do.org Language: English - Date: 2013-04-30 11:48:46 Formal methods Software requirements Software testing Avionics Embedded systems DO-178B DO-178C Verification Formal verification Software development Computing Software
733	Verification and Semantic Parallelization of Goal-driven Autonomous Software Damian Dechev1 , Nicolas Rouquette2 , Peter Pirkelbauer1 , and Bjarne Stroustrup1 [removed], [removed], peter.pirkel Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:45 Formal methods Concurrent computing Concurrency control Compiler optimizations Logic in computer science Parallel computing Concurrent data structure Actor model Automatic parallelization Computing Theoretical computer science Software engineering
734	Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States ∗ Eric Bodden Add to Reading List Source URL: www.bodden.de Language: English - Date: 2010-02-14 13:25:15 Software Formal methods Logic in computer science Runtime verification Static program analysis Pointer analysis NOP Type system Algorithm Program analysis Computing Programming language theory
735	A Partially evaluating finite-state runtime monitors ahead of time ERIC BODDEN, Technische Universit¨at Darmstadt PATRICK LAM, University of Waterloo LAURIE HENDREN, McGill University Add to Reading List Source URL: 21w.ca Language: English - Date: 2014-02-12 18:13:43 Aspect-oriented software development Formal methods Logic in computer science Aspect-oriented programming Cross-platform software Runtime verification Formal verification Type system Monitor Software development Computing Software engineering
736	Finding Programming Errors Earlier by Evaluating Runtime Monitors Ahead-of-Time Eric Bodden1 , Patrick Lam2 and Laurie Hendren1 1 2 Add to Reading List Source URL: 21w.ca Language: English - Date: 2014-02-12 18:13:43 Formal methods Logic in computer science Runtime verification Theoretical computer science Iterator Q Monad Algorithm Shape analysis Computing Software engineering Computer programming
737	Towards the Industrial Scale Development of Custom Static Analyzers John Anton, Eric Bush, Allen Goldberg, Klaus Havelund, Doug Smith, Arnaud Venet Kestrel Technology LLC 4984 El Camino Real #230 Los Altos, CA 94022 Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:36 Computer programming Logic in computer science Program analysis Abstract interpretation Static program analysis Astrée Formal verification Runtime verification Programming language Software engineering Computing Formal methods
738	Experimental Evaluation of Verification and Validation Tools on Martian Rover Software Guillaume Brat, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina Pasareanu, Arnaud Venet, Willem Visser, Ri Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:13 Software engineering Software quality Program analysis Software bug Java Pathfinder Static program analysis Model checking Debugging Verification and validation Software development Formal methods Software testing
739	Runtime Verification for Autonomous Spacecraft Software Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:35 Science Software development Logic in computer science Software quality Runtime verification Formal verification Model checking Software verification Software development process Formal methods Theoretical computer science Software testing

UPDATE